Resumo A transferência de embriões em bovinos tem o objetivo principal de aprimorar o melhoramento genético e otimizar a reprodução bovina A importância dessa prática é destacada pela sua contribuição para a maximização de características desejadas nos rebanhos, como qualidade de carne, eficiência reprodutiva e resistência a condições ambientais adversas. Este trabalho descreve e analisa as técnicas avançadas utilizadas nesse processo, incluindo seleção genômica, sexagem de embriões, produção in vitro, protocolos não cirúrgicos, sincronização reprodutiva, criopreservação de embriões e uso de (...) marcadores de fertilidade. A compreensão aprofundada dessas técnicas é fundamental para o sucesso da transferência de embriões, bem como para a capacidade de personalizar e aprimorar as características específicas dos rebanhos. Enfatizando a importância da expertise de profissionais especializados em reprodução bovina, este trabalho busca oferecer uma visão abrangente das práticas atuais e avanços tecnológicos nesse campo. Ao unir ciência e prática, torna-se importante a comparação de técnicas, bem como relacionar resultados eficientes para promover qualidade genética, trazer a sustentabilidade e envolver a técnica em um cenário atualizado da indústria. Palavras-chave: Embriões; Hormônio; Reprodutor. -/- Abstract Embryo transfer into cattle has the main objective of improving genetic improvement and optimizing bovine reproduction. The importance of this practice is highlighted by its contribution to maximizing desired characteristics in herds, such as meat quality, reproductive efficiency and resistance to environmental conditions adverse. This work describes and analyzes the advanced techniques used in this process, including genomic selection, embryo sexing, in vitro production, non-surgical protocols, reproductive synchronization, embryo cryopreservation and the use of fertility markers. An in-depth understanding of these techniques is critical to the success of embryo transfer, as well as the ability to customize and enhance specific herd characteristics. Emphasizing the importance of the expertise of professionals specialized in bovine reproduction, this work seeks to offer a comprehensive view of current practices and technological advances in this field. When combining science and practice, it becomes important to compare techniques, as well as relate efficient results to promote genetic quality, bring sustainability and involve the technique in an updated industry scenario. Keywords: Embryos; Hormone; Reproducer. -/- REFERÊNCIAS BIBLIOGRÁFICAS ABIEC. Associação Brasileira das Indústrias Exportadoras de Carnes. Beef Report. Perfil da Pecuária no Brasil. v.6, p. 7, 2021. ALVAREZ, R. Transfer of blastocysts derived short-term in culture of quality morulae in vivo. Domestic Animals. v.9, p. 790, 2007. ALVES, N. G. Atividade Ovariana em Fêmeas Bovinas da Raça Holandesa e Mestiças Holandês x Zebu, Durante Dois Ciclos Estrais Normais Consecutivos. Revista Zootecnia. v.7, p. 86, 2002. ANDRADE, J. Use of hormone treatments to superovulation Nelore donors. Reproduction Science. v.9, p. 70, 2002. Associação Brasileira de Inseminação Artificial (ASBIA). Index Asbia 2021. v.7, p. 6, 2021. Associação Brasileira de Inseminação Artificial (ASBIA). Index ASBIA Mercado, v.8, p. 6, 2019. BARROS, C. M. Tratamentos superestimulatórios utilizados em protocolos para a transferência de embriões bovinos. Acta Scientiae Veterinariae. v.9, p.8, 2007. BARUSELLI, P. S. Avaliação do mercado de IATF no Brasil. Boletim Eletrônico do Departamento de Reprodução Animal – FMVZ/USP, 1. ed., v.8, p.7, 2019. BARUSELLI, P. S.; CATUSSI, B. L. C.; ABREU, L. A.; ELLIFF, F. M.; SILVA, L. G.; BATISTA, E. S.; CREPALDI, G. A. Evolução e perspectivas da Inseminação Artificial em bovinos. Revista Brasileira de Reprodução Animal, v.43, n.2, p.308-314, 2019. 13 BARUSELLI, P. S. IATF gera ganhos que superam R$ 3,5 bilhões nas cadeias de produção de carne e de leite. Boletim Eletrônico do Departamento de Reprodução Animal/FMVZ/USP, 2.ed., v.8, n.8, p.7, 2019. BINELLI, M. Anti-luteolytic to improve in cattle. Acta Scientiae Veterinariae. v.9, p.8, 2001. BÓ, G. A. Manipulação hormonal do ciclo estral em doadoras e receptoras de embrião bovino. Acta Scientiae Veterinariae. v.9, p.7, 2004. BÓ, G.; MAPLETOFT, R. Evaluation and of bovine. Animal Reproduction. v.8, p.9, 2013. BUSS, V. Efeito da dose e momento da administração de eCG em protocolos de IATF aplicados e vacas de corte em anestro. Universidade Federal do Pampa, Dissertação – Programa de Pós-Graduação em Ciência Animal, v.8, n.8, p.9, 2020. Centro de Estudos Avançados em Economia Aplicada (CEPEA). Boletim do leite. São Paulo, Ano 25, n.286, 2019. CHAVES, D. F.; ALVES, M. J. Protocolo de receptoras de embriões: índices de aproveitamento de corpo lúteo e taxa de prenhez. Animal Reproduction. v.9, p.7, 2023. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Transferência de Embriões nos Animais e a Indústria de Embriões no Brasil. 2020. DALCIN, L.; LUCCI, C. M. Criopreservação de embriões de animais de produção: princípios criobiológicos e estado atual. Rev. Bras. Reprod. Anim. v.7, p.7, 2010. DANTAS, K. S. A. Seleção de receptoras em um programa de transferência de embriões (PIVE) em bovinos no nordeste do Brasil. Ciência Animal. v.9, p.7, 2018. D’AVILA, C. A.; MORAES, F. P.; LUCIA J. R. T.; GASPERIN, B. G. Hormônios utilizados na indução da ovulação em bovinos – Artigo de revisão. Revista Brasileira de Reprodução Animal, v.43, n.4, p.797-802, 2019. DEMÉTRIO, D. G. B. Colheita e transferência de embriões bovinos. Dissertação (Mestrado em Reprodução Animal) – Faculdade de Medicina Veterinária e Zootecnia da UNESP, Campus de Botucatu, São Paulo. v.9, p.76, 2003. FAO – Organização das Nações Unidas para a Alimentação e Agricultura. O Estado da Insegurança Alimentar e Nutrição no Mundo (SOFI) 2021. Faculdade de Medicina Veterinária e Zootecnia da UNESP. v.4, n.6, p.6, 2021. FILHO, L. C. C. Fatores que interferem na eficiência reprodutiva de receptoras de embrião bovino. Arq. Ciênc. Vet. Zool. v.7, p.9, 2013. GONZÁLEZ, F. H. D. Introdução a Endocrinologia Reprodutiva Veterinária. UFRGS. v.9, p.7, 2002. GOODHAND, K. In vivo recovery and vitro embryo from bovine aspirated at frequencies or FSH treatment. Animal Reproduction. v.8, p.87, 1999. 14 HAFEZ, E. S. E.; HAFEZ, B. Reprodução animal. 7ed. Barueri: Manole. v.7, p.7, 2004. HONORATO, M.T. Importância da escolha de receptoras em um programa de transferência de embriões em bovinos. Barueri: Manole. v.8, p.6, 2013. HOPPER, R. Bovine Reproduction. Blackwell. v.8, p.8, 2015. IBGE. Instituto Brasileiro de Geografia e Estatística. Pesquisa da Pecuária Municipal 2021 (PPM 2021). IBGE. v.9, n.7, p.7, 2021. KONIG, H. E.; LIEBICH, H. G. Anatomia dos animais domésticos: texto e atlas colorido. Vol.2. Porto Alegre: Artmed, v.2, p.4, 2004. MARTINS, F. S. Fatores reguladores da foliculogênese em mamíferos. Rev Bras Reprod Anim. v.3, p.9, 2008. MELLO, R. R. C. Desenvolvimento folicular inicial em bovinos. Rev. Bras. Reprod. Anim. v.8, p.9, 2013. OLIVEIRA, A. F. M. Principais hormônios que controlam o comportamento reprodutivo e social das fêmeas ruminantes – Revisão. Rev. Bras. Reprod. v.9, p.8, 2014. OLIVEIRA, C. S. Biotécnicas da Reprodução em Bovinos. EMBRAPA, v.8, p.8, 2014. PASA, C. Transferência de embriões em bovinos. Biodiversidade. v.9, p.9, 2008. PENITENTE FILHO, J. M. Produção de embriões bovinos in vivo e in vitro. Revista CFMV, Ano XX. v.8, p.8, 2014. PHILLIPS, P. E.; JAHNKE, M. M. Embryo Transfer (Techniques, Dono rs, and Recipients). Vet Clin Food Anim, v.9, p.8, 2016. RODRIGUES, J.; BERTOLINI, M. Biotecnologias da reprodução animal: de Aristóteles à edição gênica. Rev. Bras. Reprod. Anim. v.8, p.7, 2019. SANTOS, K. J. G. Biotecnologias reprodutivas e fisiologia reprodutiva da fêmea bovina – conhecimento para o sucesso. Rev. Bras. Reprod. Anim. v.8, p.98. 2012. SANTOS, P. H. Impactos da superestimulação ovariana sobre a diferenciação das células da granulosa bovina. Dissertação de Mestrado em Farmacologia e Biotecnologia – UNESP, v.8, p.8. 2017. SILVA, P. R. B. Regulação farmacológica do ciclo estral de bovinos. UNESP. v.9, p.8. 2011. (shrink)

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.

ABSTRACT BEER, P. A. C. The matter of truth in knowledge production about psychic suffering: considerations from Ian Hacking and Jacques Lacan. 2020. 250p. Thesis (PhD) – Instituto de Psicologia, Universidade de São Paulo, São Paulo, 2020. The thesis aims to reaffirm the importance of the debate around the matter of truth in relation to the production of knowledge concerning psychic suffering. Its point of departure is the understanding that the matter of truth contains two main appearances: as employed to (...) legitimize produced knowledge while establishing normative patterns, and as presenting itself in a critical form as a disruptive element to established knowledge. As such, it is a discussion that embraces both an affirmation of knowledge’s necessary character and of its variability. It will be argued in the above sense that the term “truth” must be taken as an inclusive and reciprocal gathering of epistemological, ontological, ethical and political elements. Ian Hacking’s historicized understanding of science enables such a consideration of contingent bases to scientific practice, while still producing necessary knowledge. It thus becomes is possible to establish a field in which normative understandings about scientific praxis might be criticized without it resulting in any kind of refusal or disqualification of the relevant, produced knowledge. Hacking’s proposition of a “historical ontology” and of a “dynamic nominalism” also represents an important contribution to the accumulation of knowledge production about psychic suffering debate, by affirming the ontological effects of knowledge. The way as truth is mobilized within Lacanian psychoanalysis flows from that standpoint, seen as focused on three main elements: truth’s autonomy towards the subject, (truth speaks), the opposing and temporary character of a positivized truth facing established knowledge ,(truth as critique), and the negative dimension of truth which relates to the inexhaustibility of this dialectical process of negations, (truth as radical difference). It is argued that it is possible to sustain a particular reasoning style, (in Hacking’s terms), for psychoanalysis, which is based on radical negativity. It is further argued, that the above rationalities in question work with a historicized understanding of knowledge that does not have any external (nor internal) criteria to warrant its truth. However, psychoanalysis takes negativity — arguably the base of knowledge’s variability and of truth’s disruptive character — beyond Hacking’s philosophy of science, and can thus offer even wider possibilities of thinking about the causality of psychic suffering. Even if with different intensities, both approaches signal the necessity of ethical and political implication in knowledge’s production and employment. Once there is no epistemological warranty to knowledge, its production value reverts to social agreements and ethical positioning. There is, therefore, the necessity of considering power relations. Finally, it is argued that the radical negativity sustained from psychoanalysis locates the political as an actually necessary field, inescapable by the very fact that it is not possible to crystalize any form of truth which is not the affirmation of radical difference. It is maintained then that introducing the matter of truth has as horizon the production of a kind of knowledge about psychic suffering which puts into question, at all time, its epistemological, ontological, ethical and political assumptions. (shrink)

Resumo: Sabe-se que a pecuária é uma parcela do agronegócio que move a economia do país, e incluso está a produção leiteira, que tem, a cada ano seu desenvolvimento elevado, de forma em que é priorizado a eficiência no aumento de sua produção, com o objetivo de suprir a demanda, e a maior rentabilidade do produtor. Diante disso, medidas de manejo reprodutivo e alimentar são adotadas, sendo estas capazes de elevar a produtividade com o menor custo possível. O trabalho objetivou (...) pautar acerca do conhecimento sobre o manejo nutricional correto e escore corporal, que afetam diretamente a produtividade do animal, o conhecimento acerca do ciclo reprodutivo de vacas, expondo a detecção de estro, bem como metodologias eficazes aplicadas na reprodução, e práticas de bem estar, que, quando ausente, é apontado como um dos precursores da ineficiência reprodutiva. Palavras-chave: Inseminação Artificial 1; detecção de cio 2; leite 3. Abstract: It is known that livestock is a part of agribusiness that drives the country's economy, and is even milk production, which has, every year, its high development, so that it is prioritizing efficiency in increasing its production, with the objective of supplying the demand, and the greater producer profitability. Therefore, reproductive and food management measures are adopted, being able to increase productivity with the lowest possible cost. The work aimed guide about knowledge about correct nutritional management and body score, which affect directly the animal's productivity, knowledge about the reproductive cycle of cows, exposing estrus detection, as well as effective methodologies applied in reproduction, and practices of well-being, which, when absent, is pointed out as one of the precursors of inefficiency reproductive. Keywords: Artificial Insemination 1; heat detection 2; milk 3. -/- REFERÊNCIAS BIBLIOGRÁFICAS ALFIERI, A. A. LEME, R. ALFIERI, A.F. Tecnologias para o manejo sanitário de qualidade de doenças infecciosas na bovinocultura de corte. Bovinocultura de corte: desafios e tecnologias. Revista eletrônica da Universidade Federal da Bahia - UFBA. ed. 2. v. 1. p. 115-132. 2013. ARBOLEDA, José Leonardo Ruiz; URIBE-VELÁSQUEZ, Luis Fernando; OSORIO, José Henry. Factor de crecimiento semejante a insulina tipo 1 (IGF-1) en la reproducción de la hembra bovina. Vet. zootec, v. 5, n. 2, p. 68-81, 2011. BAUMGARD, L.; RHOADS, R. Efeito do estresse calórico no metabolismo e na produção de leite, e estratégias para minimizar efeitos negativos. Em: XVI Curso Novos Enfoques na Produção e Reprodução de Bovinos. Uberlandia, Brasil, 2012. BARUSELLI, P. S. et al. Evolução e perspectivas da inseminação artificial em bovinos. Revista Brasileira de Reprodução Animal. v 43. n 2. p 308-314. 2019. BARUSELLI, Pietro Sampaio; GIMENES, Lindsay Unno; SALES, José Nélio de Sousa. Fisiologia reprodutiva de fêmeas taurinas e zebuínas. Revista Brasileira de Reprodução Animal, v. 31, n. 2, p. 205-211, 2007. BERGAMASCHI, M. A. C. M., MACHADO, R. BARBOSA, R. T. Eficiência reprodutiva das vacas leiteiras. Embrapa - Pecuária Sudeste- Circular Técnica (INFOTECA-E). 2010. Arquivo digitaldisponívelem:. Acesso em: 15 de Novembro de 2021. BORGES, A. M.; MARTINS, T. M. Relação entre nutrição e reprodução em rebanhos mestiços leiteiros. In: IV SIMPÓSIO NACIONAL DE BOVINOCULTURA DE LEITE, 2013, Viçosa. Anais ... Viçosa, p. 215-236, 2013. BORGES, A. et al. Reprodução de vacas mestiças: potencialidade e desafios. Revista Brasileira de Reprodução Animal. v 39. n 1. p 155-163. 2015. CAETANO, R. P. et. al. Manejo reprodutivo da bovinocultura de leite nos assentamentos rurais do município de Ilha Solteira, São Paulo. 8º Congresso de Extensão Universitária da UNESP. ISSN 2176- 9761. p 4. 2015. Arquivo disponível em: CARNEIRO M.A., Bergamaschi M., Machado R. & Barbosa R.T. (2010) Eficiência reprodutiva das vacas leiteiras. Embrapa Pecuária Sudeste. Circular Técnica,64. ISSN: 1981- 2086. CERVO. H J. Fatores intrínsecos à produção, o uso da inseminação artificial e os objetivos de seleção na pecuária leiteira do sul do Brasil, Rio Grande do Sul, Brasil. 2014. 228f. Tese (Doutorado em Zootecnia) - Universidade Federal do Rio Grande do Sul – UFRS, Porto Alegre. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. 2020. DA SILVA, et al. Manual de Exame Ginecológico da Vaca. IX Mostra Nacional de Iniciação Científica e Tecnológica Interdisciplinar (MICTI) - IFC - Instituto Federal Catarinense. 2016. Arquivo digital disponível em: Acesso em: 15 de Novembro de 2021. DIAS. J C. et al. Alguns aspectos da interação nutrição-reprodução em bovinos: energia, proteínas, minerais e vitaminas. Revista Pubvet. v. 4 n. 5 p. Art. 738-743. 2010. FERNANDES, A. F. A. OLIVEIRA, J. A. QUEIROZ, S. A. Escore de condição corporal em ruminantes. Revista Ars Veterinária. v. 32, n. 1, p. 55-66, 2016. FERREIRA, A. M. Reprodução da Fêmea Bovina. Fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora, MG: Edição do autor, 2010. FRANCO, F. F. Escore de condição corporal e desempenho reprodutivo de vacas leiteiras mestiças lactantes, Minas Gerais, Brasil. 2015. 59f. Dissertação (Mestrado em Ciências Veterinárias) - Universidade Federal de Uberlândia, Uberlândia. GARCIA, J. R. A. SILVA, N. SILVEIRA, W. TEIXEIRA, M. C. C. Estudo epidemiológico de problemas reprodutivos em rebanhos bovinos na bacia leiteira de Goiânia. Revista Eletrônica - Arquivo Brasileiro de Medicina Veterinária e Zootecnia. v 57. n 6. p 720-725. 2005. IVANOU, A. V. Clínica e reprodução de bovinos leiteiros. Évora, Portugal. 100f. 2015. Dissertação (Mestrado em Medicina Veterinária) - Universidade de Évora - Escola de Ciências e Tecnologia, Évora. MANTECA, X. et al. Bem-estar animal: conceitos e formas práticas de avaliação dos sistemas deprodução de suínos. Revista - Semina: Ciências Agrárias. v. 34 n. 2. p 4213-4229. 2013. MOURA, M. S. et al. Manejo reprodutivo de bovinos na propriedade rural. Revista PUBVET. v. 5. n 9.ed. 156. art. 1055, 2011. MUNIS DE OLIVEIRA, G. Fisiologia da Reprodução Bovina e Métodos de Controle do Ciclo Estral. Trabalho de conclusão do curso de especialização em Reprodução e Produção de Bovinos–UCB. Rio de Janeiro, Brasil, 2006. NETO, Alberto Chambela. Avaliação da taxa de prenhez de vacas de leite com a utilização de protocolos com e sem a presença de folículos estimulantes. Revista Ifes Ciência-ISSN 2359- 4799, v. 5, n. 1, 2019. NOGUEIRA, E. et al. Nutrição aplicada à reprodução de bovinos de corte. Embrapa PantanalCapítuloem livro científico. Embrapa Pantanal - Capítulo em livro científico (ALICE). ed. 10. p 141-156. 2015. PEGORARO, L. M. C.; SAALFELD, M. H.; WEISSHEIMER, C. F.; VIEIRA, A. D. Manejo Reprodutivo em Bovinos de Leite. Embrapa Clima Temperado, id.13081, 2009. PEIXOTO JUNIOR, K.C. FIRMIANO, A. C. CRESPILHO, A.M. Relação entre reprodução e produção debovinos de leite. Revista PUBVET, Londrina. v 7. n 24. ed 247. art. 1635. 2013. PEREIRA, M.A et al. Parâmetros da Fisiologia reprodutiva e utilização de hormônios na sincronizaçãode estro em vacas leiteiras. Revista VeZ em Minas. a XXII. p 117. 2013. PRATA, M. A.; PEREIRA, M. C.; FARO, L; CARDOSO, V. L. et al. Efeito do intervalo de partos sobre a eficiência produtiva e econômica em rebanhos gir leiteiro. B. Indústr. Anim., Nova Odessa, v.71, n.1, p.1-7, 2014. Rebanho bovino tem leve alta em 2019, após dois anosseguidos de quedas. Agência de notícias IBGE, 2020. Disponível em: . Acesso em: 26, setembro de 2021. RENNO F.P; BARLETTA, R.V.; FRIETAS JUNIOR J.E.; et al. Escore de condição corporal e sua relação com produtividade, saúde e bem estar de vacas em lactação. Em: 1st international Symposium of Dairy Cattle. III Simpósio Nacional de Bovincultrura Leiteira. Universidade Federal de Viçosa, MG. Novembro 2011. RUAS, J. R. M; MENESES, A. C.; CARVALHO, B. C.; QUEIROZ, D. S.; SILVA, E. A. da; FERREIRA, J. J. Sistema de produção de leite com vacas F1 Holandês x Zebu. Informe Agropecuário, v.31, p.63-71, 2010. SANTOS, M de. A. R. Efficiency of two doses of D-cloprostenol for synchronization of estrus in bovines in the different phases of the estrous cycle. Minas Gerais, Brasil. 46 f. 2001. Dissertação (Mestrado em Zootecnia e Recursos Pesqueiros) - Universidade Jose do Rosario Vellano, Alfenas.. SARTORI, R. GUARDIEIRO, M. M. Fatores nutricionais associados à reprodução de fêmea bovina. Revista Brasileira de Zootecnia. v 39. p 422-432. 2010. SCHAFHAUSER JUNIOR, J. PEGORARO, L. M. C. ZANELA, M. B. Tecnologias para sistemas de produção de leite. Embrapa Clima Temperado - Livro técnico. ed 1. p 437. 2016. SOUSA, G. G. T. et al. Monta natural versus inseminação artificial em bovinos. Revista PUBVET. v 6. n35. ed 222. art. 1473. 2012. TRIANA, E. L. C. JIMENEZ, C. R. TORRES, C A. A. Eficiência reprodutiva em bovinos de leite. Revista Eletrônica da Universidade Federal de Viçosa - UFV. v 1. 2012. Artigo eletrônico disponível em: Acesso em: 02 de outubro de 2021. (shrink)

O livro reúne textos apresentados no II Workshop de Filosofia e Ensino, realizado na UFRGS em 2015, com a temática "Epistemologia e Currículo" -/- .

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

in this article, we experience the exercise of a screen ethnocartography in agency with the film Beasts of the southern wild by the director Benh Zeitlin. We tested a film experimentation that led to a renewed writing ways of life. We bet on cinema and childhood as possibilities for creating cracks and a stutter of language for the creation of new worlds and ways of living. In cinema images less as a representation, and more as art that proposes incompleteness, fissure, (...) a hole in appearances. In childhood as an exercise of differentiation and resistance to dominant narratives in a given context. In childhood as a limiting experience of/in language, tirelessly exposing the human condition in front of the world. Thus, accompanying the main character of the plot, little Hushpuppy — a six-year-old resident of the “Charles Doucet Island”, experienced as “the Bathtub” —, we are shaken by the forms of life there, considered bestial and not recognized by city humans. Hushpuppy, his father and friends resist attempts to destroy their existence by the forms of the state that try to domesticate them, imbued with the logic that primitives must come to civilization, just as children must become adults. (shrink)

Network analysis as a tool for ecological interactions studies has been widely used since last decade. However, there are few studies on the factors that shape network patterns in communities. In this sense, we compared the topological properties of the interaction network between flower-visiting social wasps and plants in two distinct phytophysiognomies in a Brazilian savanna (Riparian Forest and Rocky Grassland). Results showed that the landscapes differed in species richness and composition, and also the interaction networks between wasps and plants (...) had different patterns. The network was more complex in the Riparian Forest, with a larger number of species and individuals and a greater amount of connections between them. The network specialization degree was more generalist in the Riparian Forest than in the Rocky Grassland. This result was corroborated by means of the nestedness index. In both networks was found asymmetry, with a large number of wasps per plant species. In general aspects, most wasps had low niche amplitude, visiting from one to three plant species. Our results suggest that differences in structural complexity of the environment directly influence the structure of the interaction network between flower-visiting social wasps and plants. (shrink)

El presente artículo tiene como objetivo determinar el fundamento teológico del concepto de soberanía propuesto por el jurista alemán Carl Schmitt. Según nuestra hipótesis, tal fundamento teológico se encuentra en la filosofía del pensador danés Søren Kierkegaard, quien, en diferentes obras, desarrolló los importantes conceptos de excepción, decisión y suspensión teleológica de la ética en relación a la experiencia religiosa de la repetición. Como veremos, tales conceptos forman parte del fundamento teológico de la famosa definición schmittiana de la soberanía: “soberano (...) es quien decide sobre el estado de excepción”, la cual define el decisionismo del jurista alemán. Así, por medio del concepto de decisión, extraído de la obra kierkegaardiana e introducido en la doctrina de la soberanía, Schmitt logra tres objetivos. Por un lado, no solo inicia la crítica al parlamentarismo liberal y al Estado burgués de Derecho, sino que revela el fundamento teológico-existencial de la unidad política del Estado moderno. En segundo lugar, en el marco jurídico-político, actualiza la teología fideísta desarrollada por Kierkegaard en su obra. Finalmente, en el marco teológico-metafísico, introduce el papel de la decisión como actualizador del rol público de la trascendencia en la modernidad secularizada frente a la reserva escatológica de la teología. Para lograr nuestro objetivo, utilizaremos el método de la analogía conceptual teológico-política creado y aplicado por el mismo Carl Schmitt a la historia de la soberanía europea. (shrink)

This paper presents REAL, a Real-Valued Attribute Classification Tree Learning Algorithm. Several of the algorithm's unique features are explained by úe users' demands for a decision support tool to be used for evaluating financial operations strategies. Compared to competing algorithms, in our applications, REAL presents maj or advantages : (1) The REAL classification trees usually have smaller error rates. (2) A single conviction (or trust) measure at each leaf is more convenient than the traditional (probability, confidence-level) pair. (3) No need (...) for an external pruning criterion. (shrink)

Departing from and closing with reflections on issues regarding teaching practices of philosophy of mathematics, I propose a comparison between the main features of the Leibnizian notion of symbolic knowledge and some passages from the Tractatus on arithmetic. I argue that this reading allows (i) to shed a new light on the specificities of the Tractarian definition of number, compared to those of Frege and Russell; (ii) to highlight the understanding of the nature of mathematical knowledge as symbolic or formal (...) knowledge that Wittgenstein mobilizes in his book; (iii) to offer reasons for the claim that Wittgenstein can be considered the philosopher of mathematical practice avant la lettre. The paper ends with an overview, a return to the initial reflection on the connections between research and teaching, and a defense of the reading key used here in terms of its potential for the research in philosophy of mathematics. (shrink)

O texto fornece distinções conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construção de uma didática mínima da lógica para o ensino médio. Após a apresentação de alguns aspectos positivos da referida perspectiva são indicadas duas maneiras usuais de compreender e praticar o ensino de lógica. O objetivo central do texto é mostrar como, desde a perspectiva inicialmente esboçada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didática da (...) lógica sem perda da especificidade da disciplina. The text provides some conceptual distinctions generated from a perspective on teaching philosophy according to which the project of a "didactica minima" for logic in high schools is contemplated. After a brief presentation of some positive aspects of the perspective from which the distinctions are proposed, two common ways of teaching logic are considered. The aim of the paper is to show how the perspective proposed can clarify some topics on the issue of teaching logic in an interdisciplinary way, without losing the specifics of the discipline. (shrink)

O objetivo deste artigo é avaliar criticamente duas teses opostas sobre a epistemologia da crença religiosa: a primeira, defendida por Norman Geisler, afirma que a crença em Deus só pode ser racionalmente justificada ou garantida se houver argumentos ou evidências em favor da existência de Deus. A segunda tese, elaborada por Alvin Plantinga, sugere que a crença em Deus pode ser garantida, mesmo que o teísta não conheça qualquer evidência para a existência de Deus, mesmo que ele não acredite que (...) haja tais evidências e mesmo se não existir, de fato, tais evidências. Na comparação das duas teses, conclui-se que a primeira tese é falsa, pois a crença em Deus não necessariamente precisa ser tida como uma ‘hipótese científica’, enquanto a segunda é provavelmente verdadeira, caso Deus exista. (shrink)

This note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by Leibniz, Kant, Frege, and the Booleans, as well as by Husserl, of some questions related to the conceptual singularities of symbolic knowledge –whose standard we find in the arts of algebra and arithmetic. The book’s unity of themes and (at (...) least in part) style is examined with the aim of showing the articulation of its parts. (shrink)

La finalidad del presente artículo es descubrir la presencia del concepto de persona en la doctrina de la soberanía de Carl Schmitt. A pesar de que este concepto tuvo un amplio desarrollo metafísico en el seno del pensamiento cristiano durante la antigüedad tardía, jamás pudo desembarazarse de la impronta jurídica de sus creadores los juristas romanos. Por tal razón, sirvió como soporte conceptual para el posterior despliegue de la noción de persona jurídica, sistematizada a lo largo de la modernidad. Para (...) lograr nuestro objetivo, intentaremos rastrear la transformación del concepto de persona a lo largo de la edad media y la modernidad, así como revisar el concepto de soberanía en la teoría política moderna. Por otro lado, estudiaremos la noción de decisión en la obra de Carl Schmitt, noción que el gran jurista alemán utilizó para definir su propia concepción de la soberanía. A partir de estas precisiones, intentaremos establecer la relación existente entre la noción de persona y la de decisión en el seno de la concepción schmittiana de la soberanía tomando como hilo conductor los presupuestos teológicos implícitos en ella. Como veremos, tales presupuestos nos remitirán a la obra del pensador danés Søren Kierkegaard, cuyas doctrinas nos mostrarán todo el alcance del planteamiento schmittiano. De esta manera, podemos concluir que el concepto de persona subyacente al decisionismo schmittiano ha sido transformado, en primer término, en el de existencia política, noción determinada por la relación de enemistad; y, en segundo lugar, en el de unidad de la personalidad, concepto determinado por la actualización de la dimensión espiritual al interior de la condición humana. (shrink)

Ophiocordyceps is a fungal pathogen of ants of the tribe Camponotini. It is called zombie fungus, since it changes the host behavior, causing them to die in an exposed position, typically clinging onto and biting into the adaxial surface of shrub leaves. This study aimed to describe the occurrence of parasitic associations between Ophiocordyceps and ants of the genus Camponotus in an urban fragment of Atlantic Rainforest in southeastern Brazil and to measure the rate of hyperparasitism in Ophiocordyceps by other (...) fungi in the same location. We found 57 individuals of four species of ants and three species of fungus. The age categories of fungi were equally distributed, and rate of hyperparasitism was 17.5% (n = 10). The sampled area was recognized as an important site of Ophiocordyceps occurrence. (shrink)

Trata-se de uma análise do livro Quando ninguém educa (Rocha, 2017), visando expor uma contextualização, uma estruturação e uma avaliação dos principais eixos e propostas do livro.

O objetivo deste artigo será discutir as semelhanças e analogias entre os escritos de Schopenhauer compilados sob o nome de A arte de escrever, e a consagrada dedução transcendental das categorias na Crítica da Razão Pura de Kant.

Livro didático de História da Filosofia I produzido para o curso EaD Licenciatura em Filosofia da UFSC. Tópicos abordados: A filosofia pré-socrática; Os sofistas e Sócrates; A metafísica clássica; As filosofias do helenismo; O neoplatonismo.

The work of Richard H. Popkin both introduced the concept of skeptical fideism and served to impressively document its importance in the philosophies of a diverse range of thinkers, including Montaigne, Pascal, Huet, and Bayle. Popkin’s landmark History of Scepticism, however, begins its coverage with the Renaissance. In this paper I explore the roots of skeptical fideism in ancient Greek and Roman philosophy, with special attention to Cicero’s De Natura Deorum, the oldest surviving text to clearly develop a skeptical fideist (...) perspective. (shrink)

In The Age of the World Picture, philosopher Martin Heidegger claims that scientific representations do not reduce themselves to pure appropriations of what they present. Rather, they convey investigations that confine being to rules of appropriation. Those rules govern how natural science accesses phenomena. The choice of natural science as the predominant mode of representation of reality entails what Heidegger calls a process of objectification (Vergegenständlichung). In his Zollikon Seminars, Heidegger questions the tribute paid by the sciences of the mind (...) to the logic of the natural sciences, and stresses that Freud, by thinking of the mind as a machine driven by instinctive powers, assigns to human phenomena the objective features set by the natural sciences. This paper purports to show that Winnicott, by formulating a theory of personal maturing, disagrees with the objectifying requirements of the natural sciences. For Winnicott, traditional psychoanalysis uses categories that are inadequate for describing the changes babies undergo in the environment that gives them care and attention, because its analysis is confined to the field of libido relations. With that in mind, it is not possible to speak about human maturation processes using an objectifying language; Winnicott stresses (in The newborn and his mother) that “I cannot sacrifice a patient on the altar of science”. This paper argues that Winnicott disagrees with the naturalistic imperative, which reduces the real to what is objective and places physics as a model for the sciences. The paper also broaches on the issue of how far the considerations of Heidegger and Winnicott regarding access to human phenomena allow us to discuss the current overwhelming process of medicating everyday life. (shrink)

O presente artigo examina a natureza da investigação antropológica que Kant executou nos seus cursos sobre geografia física. Se, por um lado, a sua relação com a física empírica é assegurada, por outro, a incorporação de ambos os objetos do sentido interno, alma e ser humano, na abordagem cosmológica da investigação empírica da natureza humana gera questionamentos sobre a articulação disciplinar e metodológica pressupostas no Conhecimento do Mundo. Será mostrado que a investigação antropológica de Kant desde o início procurou assegurar (...) uma combinação sistemática entre diferentes procedimentos científicos que visam o conhecimento da natureza humana e que este é justamente o caso do emprego geográfico do conceito ontológico de alma no esclarecimento da diversidade de temperamentos e de gostos da espécie humana. (shrink)

Octavio Paz conceives of authentic philosophical reflection as ‘thinking a la intemperie’. This conception involves his idea that our contemporary historical and philosophical situation is one of intemperie espiritual. Based on the dual sense of the term intemperie for Paz, I propose that ‘thinking a la intemperie’ means: (i) Exposing our beliefs to the weathering effects of our vital, concrete experience; and (ii) apprehending reality in communion with others through poetic experience of the ever-flowing present. That is, authentic philosophical reflection (...) means making our home thinking and living without rigid, stifling ideological systems, in communion with our neighbors and with our places, here and now, in the unity of present place and present time that we create together. This mode of reflection belongs within a broad American tradition of philosophizing and, for Paz, responds to concerns compatible with those of the pragmatists. (shrink)

De acordo com Aristóteles, conhecemos algo cientificamente quando apreendemos a causa pela qual essa coisa é e apreendemos, também, certa relação necessária entre aquilo que pretendemos conhecer e o que descobrimos ser a causa adequada que explica por que tal fato é o caso. Além disso, o filósofo identifica o conhecimento científico com a posse de um silogismo científico ou demonstração. Neste trabalho, analisamos a relação entre a teoria demonstrativa que Aristóteles desenvolve, principalmente, no livro I dos Segundos Analíticos e (...) sua teoria silogística dos Primeiros Analíticos I e tentamos responder por que o conhecimento científico deve ser via silogismo. Também procuramos explicitar como as noções de causa e de necessidade, pelas quais Aristóteles define o conhecimento científico, são contempladas pela exigência de que as proposições de uma demonstração sejam per se. Finalmente, discutiremos como essas noções de per se, necessidade e causa se encaixam na estrutura silogística, uma vez que conhecer algo cientificamente é possuir um silogismo científico. (shrink)

Brian C. Ribeiro’s _Sextus, Montaigne, Hume: Pyrrhonizers_ invites us to view the Pyrrhonist tradition as involving all those who share a commitment to the activity of Pyrrhonizing and develops fresh, provocative readings of Sextus, Montaigne, and Hume as radical Pyrrhonizing skeptics.

Este trabalho tem por objetivo examinar as relações entre conhecimento e verdade (no sentido de descobrimento e abertura), no contexto da Ontologia Fundamental, de Martin Heidegger. Num primeiro momento, busca-se caracterizar o conhecimento como um modo derivado do ser-no-mundo enquanto ocupação, patenteando a estrutura intencional que lhe é própria, bem como explicitando a interpretação fenomenológicoexistencial do “resultado” do comportamento cognoscitivo (conceitos de substância/eidos), que é posta em questão quanto à sua correção, em se considerando os conceitos da Física Moderna. A (...) abordagem do fenômeno do conhecimento, aqui empreendida, culmina com a apresentação das relações “implícitas” entre o modo de ser do conhecimento e o “problema da verdade”, presentes na análise do fenômeno da enunciação predicativa (parágrafo 33, de Ser e Tempo), com base na qual se intenta indicar o lugar da Lógica na Ontologia Fundamental. Em seguida, no contexto da tematização do significado existencial de verdade, foca-se o conceito de Evidenciação (Ausweisung), no qual se entrelaçam plenamente as concepções heideggerianas de conhecimento e de verdade, porquanto se trata da descrição da verdade do conhecimento como um modo de descobrimento enunciativo dos entes tais como são em si mesmos. Busca-se, em primeiro lugar, mostrar a apropriação de Husserl e de Aristóteles, bem como a manutenção da idéia de verdade como adequação, embutidas naquele conceito. Propõe-se a idéia de que a não-verdade (falsidade) dos enunciados predicativos (não explicitamente tematizada por Heidegger, em Ser e Tempo) pode ser pensada a partir do conceito husserliano de “síntese de diferenciação”. Procura-se, ainda, esclarecer o que significa o “em si mesmo” dos entes que se dão na evidenciação e se ocultam na diferenciação, e salientar o aspecto problemático da idéia de uma dadidade dos entes em “si mesmos”, no âmbito da investigação científica. Por fim, apresenta-se a discussão acerca da concepção heideggeriana de verdade, iniciada por Tugendhat, em 1964, e constantemente retomada por vários filósofos, inclusive por Gethmann, cuja interpretação é aqui avaliada. (shrink)

O objetivo central desta pesquisa é comparar as credenciais epistêmicas da crença em Deus na epistemologia religiosa de dois dos principais pensadores da filosofia analítica da religião contemporânea: Alvin Plantinga (1932- ) e Richard Swinburne (1934- ). Mais precisamente, busca-se investigar como a crença na existência de Deus pode obter status epistêmico positivo, ou seja, como pode ser intelectualmente justificada ou racional ou ainda avalizada, a partir de comparações, contrastes ou complementações que podem ser feitos entre as propostas dos dois (...) filósofos. Deste modo, será avaliado como Plantinga e Swinburne lidam com algumas questões fundamentais da filosofia analítica da religião ligadas à natureza e à relação entre fé e razão. Para que tal objetivo seja concretizado, foram escolhidos três méritos ou credenciais epistêmicas: a justificação deontológica, a racionalidade e o aval. Na primeira parte desta tese, serão clarificados os conceitos fundamentais ligados ao debate sobre a relação entre fé e razão na filosofia analítica contemporânea a fim de elucidar o problema central desta pesquisa; além disso, será esclarecido o que significa precisamente uma crença ter o mérito da justificação, da racionalidade ou do aval. Na segunda parte, são apresentadas as duas propostas epistemológicas que serão comparadas, a saber, a Epistemologia Reformada de Alvin Plantinga e o balanço evidencial probabilístico proposto pela teologia natural de Richard Swinburne. Por fim, visa-se comparar criticamente as duas propostas e analisar a possibilidade de articulação entre essas duas diferentes abordagens. (shrink)

El acceso a la justicia como derecho, y el diseño e implementación de políticas públicas que lo tornen operante, exige un abordaje formativo crítico que se inscriba en la línea de una triple articulación: filosófica, jurídica y política. Enmarcada en dicha pretensión, la propuesta del curso “Agencias judiciales, políticas públicas y acceso a la justicia” tiene por objeto: a)Promover la reflexión sobre el acceso a la justicia como núcleo problemático de nuestra contemporaneidad social y jurídica. b)Reinscribir dicha reflexión crítica en (...) las filiaciones iusfilosóficas que la posibilitan e impulsan. c)Conceptualizar el acceso a la justicia como desafío medular de políticas de inclusión social.d)Identificar las complejidades que se derivan del carácter críptico y técnico que reviste el derecho moderno y el lenguaje jurídico que lo constituye, circunstancia que dificulta su accesibilidad y difusión. e)Efectuar aportes formativos que sirvan de base para la elaboración de políticas de acceso a la justicia que posibiliten la desarticulación de esta opacidad y formalización del lenguaje jurídico. f)Advertir el carácter performativo que porta el derecho como práctica social discursiva no solo como esfera de producción normativa sino también de construcción de las representaciones sociales que se disputan en la escena pública. g)Comprender el rol fundamental que poseen las agencias judiciales como instancias de promoción y desarrollo de políticas públicas en materia de acceso a la justicia. h)Esbozar los desafíos de dichas agencias judiciales para la profundización del acceso a la justicia como derecho vinculado a problemáticas específicas tales como la vulnerabilidad social y la diversidad cultural y lingüística. (shrink)

Este ensaio celebra as cinco décadas da publicação do livro A ordem do discurso de Michel Foucault, realizando uma reflexão acerca de sua repercussão entre as ciências sociais e sobre seus usos, principalmente, no campo da linguagem na parte relacionada à análise do discurso de linha francesa. Portanto, trata-se de uma retrospectiva crítica cuja análise começa com a entrevista que Foucault concedeu algumas semanas antes de proferir esta aula aos brasileiros Sergio Paulo Rouanet e José Guilherme Merquior. Em seguida, o (...) presente trabalho faz uma breve história da entrada de Foucault ao Collège de France e, por fim, lida com a microfísica do discurso que se encontra nesta aula, sobretudo, da rarefação do sujeito, além dos seus usos nas ciências humanas e sociais mais o campo da linguagem em torno da pragmática e das análises de discurso. (shrink)

Este roteiro de leitura, que ora apresentamos, tem como objetivo principal tornar mais acessível, ou melhor, mais inteligível A ordem do discurso de Michel Foucault para aqueles que se arriscam a entrar nesta ordem por meio de sua análise do discurso redimensionada nesta sua aula inaugural. É um roteiro simples que procurou atender minimamente aos leitores iniciantes deste texto que se tornou um clássico no campo das Humanidades e das ciências empíricas como o Direito e a própria Medicina, campos (...) que passaram pelo crivo das análises arqueogenealógicas empreendidas por Foucault. (shrink)

Este artigo empreende uma discussão acerca da noção de fórmula discursiva nos trabalhos de Krieg-Planque e de um possível diálogo com o trabalho desenvolvido por Foucault, sobretudo, a partir do modo como o filósofo percebe o discurso, uma vez que ambos pertencem a uma tradição epistemológica francesa. Dessa forma, vamos adentrar pelo percurso de lapidação da noção de fórmula, tomando, para isso, a entrevista que Krieg-Planque concedeu a Philippe Schepens do Laboratoire de Sémio-linguistique, didatique e informatique (LASELDI) e do livro (...) A noção de fórmula em análise do discurso: quadro teórico e metodológico, trabalhos que representam para nós brasileiros uma espécie de introdução à discussão sobre a noção de fórmula proposta por Krieg-Planque no campo da Escola Francesa de Análise do Discurso (AD). Nessa discussão, vamos perceber que toda fórmula discursiva traz consigo uma densidade histórica apoiada em pré-construídos que estão voltados para as novas construções, tal qual propunha Foucault acerca das práticas e das materialidades discursivas em sua arqueologia do saber e em sua genealogia do poder. (shrink)

Na década de 1980, um programa de pesquisa se popularizou no campo da filosofia e psicologia das emoções. Esse programa, denominado construcionismo social, afirmava que emoções eram produtos de fatores sociais e não poderiam ser compreendidas em um vocabulário adaptacionista. No entanto, ao longo do tempo essas teorias perderam grande parte de sua força e popularidade, e praticamente desapareceram da filosofia das emoções contemporânea. O objetivo do presente artigo será diagnosticar esse predicamento, e perguntar se o construcionismo social ainda poderia (...) ser uma via teórica interessante para o estudo das emoções. Para isso, iremos clarificar o significado da metáfora da “construção” e examinar algumas das principais teorias construcionistas de emoções. Embora nossas conclusões sejam negativas em relação ao rótulo da construção social, elas podem ainda assim trazer algum alívio para aqueles que se simpatizam com suas pretensões teóricas, prescrições metodológicas e foco de análise. (shrink)